Nuprl Definition : state_after
11,40
postcript
pdf
state_after(
e
) == when-after(
e
;
info
;
pred?
;
init
;
Trans
;
val
;
time
).2
latex
clarification:
state_after(
e
;
info
;
pred?
;
init
;
Trans
;
val
;
time
) == when-after(
e
;
info
;
pred?
;
init
;
Trans
;
val
;
time
).2
latex
Definitions
when-after(
e
;
info
;
pred?
;
init
;
Trans
;
val
;
time
)
,
t
.2
FDL editor aliases
state_after
origin